-
1 логический элемент эквивалентности
1) Engineering: biconditional gate, equality gate, equivalence gate, match gate2) Makarov: identity gateУниверсальный русско-английский словарь > логический элемент эквивалентности
-
2 логический элемент эквивалентности
equivalence element, identity elementРусско-английский политехнический словарь > логический элемент эквивалентности
-
3 функциональный элемент
1) Engineering: function unit, functional device, functional part, functional unit2) Mathematics: memoryless automaton (для синтеза автоматов)3) Information technology: functional element, functor (выполняющий определённую функцию), (логический) functor (выполняющий определённую функцию)4) Mechanics: germ5) Programming: function box (на блок-схеме)6) Quality control: functional subunitУниверсальный русско-английский словарь > функциональный элемент
См. также в других словарях:
Логические элементы — Логические элементы устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого «1» и низкого «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… … Википедия
МИФ — (греч. слово, речь, предание) язык описания, оказавшийся, благодаря своей исконной символичности, удобным для выражения вечных моделей личного и общественного поведения, неких сущностных законов социального и природного космоса. М. является… … Современный философский словарь
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
Универсальная алгебра — Не следует путать с универсальной алгеброй одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… … Википедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
Лемма Куратовского — Цорна — Лемма Цорна (англ. Zorn s lemma), также известная как лемма Куратовского Цорна (англ. Kuratowski – Zorn lemma), утверждает: Частично упорядоченное множество, в котором любая цепь имеет верхную грань, содержит максимальный элемент. Лемма носит… … Википедия
Лемма Куратовского — Лемма Цорна (англ. Zorn s lemma), также известная как лемма Куратовского Цорна (англ. Kuratowski – Zorn lemma), утверждает: Частично упорядоченное множество, в котором любая цепь имеет верхнюю грань, содержит максимальный элемент. Лемма … Википедия
Сравнение (программирование) — У этого термина существуют и другие значения, см. Сравнение. Сравнение в программировании общее название ряда операций над парами значений одного типа, реализующих математические отношения равенства и порядка. В языках высокого уровня такие … Википедия
ПРИНЦИП АБСТРАКЦИИ — логический (теоретико множественный) принцип, лежащий в основе определений через абстракцию. Согласно П. а., любое отношение типа равенства, определенное на нек ром множестве объектов, может служить для распределения (разбиения) объектов этого… … Философская энциклопедия